COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.DEVICE XGP
C00005 ENDMK
C⊗;
.DEVICE XGP;
.require "bkmac.pub[boo,jmc]" source_file
.begin "mkchapter"

.BEGIN "Title"
.pagehigh←54
.pagewide←80
.PAGE FRAME pagehigh HIGH pagewide WIDE;
.evenleftborder ← oddleftborder ← 1000;
.area title lines 16 to pagehigh;
.place title;
.sname ← SSNAME ← NULL
.PORTION TITLEPAGE
.FONT A "BEESIX";
.center select A
LISP
.SKIP 2
Programming and Proving
.SKIP 4
CHAPTER ABSNTX
.skip 10
.select 1
.TURN ON "{}"
Copyright %8@%* {year} 
.skip
John McCarthy and Carolyn Talcott
.skip 2
Stanford University
.skip 3
This version printed at {time} on {date}.
.TURN OFF 
.END "Title"
.

.MACRO GET(FILE) ⊂ BEGIN "FILE" REQUIRE "FILE" SOURCE_FILE
.END "FILE" ⊃
.
.PAGE FRAME pagehigh HIGH pagewide WIDE;
.evenleftborder ← oddleftborder ← 1000;
.area text lines 4 to pagehigh;
.title area heading lines 1 to 3
.place text;
.odd heading(, {sname}, {page}) ;
.even heading({page}, {sname}, ) ;
.
.<<every heading(, {sname}, {page}) >>
.
.INSERT CONTENTS
.NOTASSEMBLING ← true
.COUNT PAGE FROM 1 TO 999
.COUNT SECTION FROM 1 TO 999
.COUNT SUBSECTION IN SECTION FROM 1 TO 999
.
.BEGIN "Text"
.sname ← SSNAME ← NULL
.turnon "{}"
.PORTION MAINPORTION
.SET SECTIONPARS(I,1,Chapter,1)
.itemmac
.eqnmac
.figmac
.tablemac
.READIN: NEXT SECTION!
.WRITIN: NEXT SECTION!
.PROVIN: NEXT SECTION!;
.PROVEX: NEXT SECTION!;
.IMPURE: NEXT SECTION!;
.MACHIN: NEXT SECTION!;
.SEARCH: NEXT SECTION!;
.EXTEND: NEXT SECTION!;
.cond1!!:"III.9.1"
.cond7!!:"III.9.6"
.page←150
.GET (|ABSNTX[BOO,JMC]|)
.
.END "Text"
.
.insert FNINDEX
.mkindex(FUNCTION INDEX,FNINDEX)
.insert LABINDEX
.mkindex(DEFINED LABELS,LABINDEX)
.mkcontents
.END "mkchapter"